1. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده : \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
2. <A> Mathematical Introduction to Logic
پدیدآورنده : \ Herbert B. Enderton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
3. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
4. From Mathematics to Philosophy
پدیدآورنده : \ Hao Wang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
5. Frontiers of Combining Systems
پدیدآورنده : \ Carsten Lutz, Silvio Ranise (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a01,a01
رده :
QA
9
.
A1
F7
2015
E-Book
,
6. Fuzzy Logic and Mathematics
پدیدآورنده : \ Radim Bělohlávek, Joseph W. Dauben, and George J. Klir
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic,Logic, symbolic and mathematical,منطق فازی,منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
7. Interactive Theorem Proving
پدیدآورنده : \ Christian Urban, Xingyuan Zhang (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a03,a03
رده :
QA
76
.
9
.
A96
E-Book
,
8. KI 2015
پدیدآورنده : \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
9. Logic, Mathematics, and Computer Science.
پدیدآورنده : \ Yves Nievergelt
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
10. Logic and Knowledge
پدیدآورنده : \ Bertrand Russell; edited by Robert Charles Marsh,راس‍ل
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Philosophy,Logic, symbolic and mathematical,فلسفه,منطق ریاضی,a03,a05,a03,a05
رده :
B1649
.
R93
L6
1968
11. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
12. Mathematical Logic
پدیدآورنده : \ Wei Li
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
13. Perspectives in Computational Complexity
پدیدآورنده : \ Manindra Agrawal, Vikraman Arvind Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
14. Quantifiers, Quantifiers, and Quantifiers
پدیدآورنده : \ Alessandro Torza Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Language and logic,Logic, symbolic and mathematical,زبان و منطق,منطق ریاضی,a03,a05,a03,a05,Grammar, Comparative and general -- Quantifiers.,دستور زبان تطبیقی -- سورها
رده :
BC
57
.
Q25
2015
E-Book
,
15. Special Topics in Mathematics for Computer Scientists
پدیدآورنده : \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
16. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
17. <The> Essential Turing
پدیدآورنده : \ Edited by B. Jack Copeland
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Turing, Alan, 1912-1954.,ت‍ری‍ن‍گ، آل‍ن م‍ات‍ی‍س‍ن، ۱۹۱۲ - ۱۹۵۴م.
رده :
E-Book
,
18. Wittgenstein and the End of Philosophy
پدیدآورنده : \ Daniel D. Hutto
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,ویتگنشتاین، لودویگ، ۱۸۸۹ - ۱۹۵۱م. . پ‍ژوه‍ش‍ه‍ای ف‍ل‍س‍ف‍ی
رده :
E-Book
,
19. درآم‍دی ب‍ه منطق ج‍دی‍د
پدیدآورنده : / نویسنده: ض‍ی‍اء م‍وح‍د.,ص. ع. ب‍ه‌ان‍گ‍ل‍ی‍س‍ی:Zia Movahhed. An introduction to modern logic.,م‍وح‍د
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a06,a06
رده :
QA
۹
/
م
۸۵
د
۴ ۱۳۶۸
20. م‍دخ‍ل منطق ص‍ورت، ی‍ا، منطق ریاضی
پدیدآورنده : / ن‍گ‍ارش غ‍لام‍ح‍س‍ی‍ن م‍ص‍اح‍ب.,م‍ص‍اح‍ب
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a06,a06
رده :
QA
۹
/
م
۶
م
۴ ۱۳۶۶
